<?php 
function HTML_header(){
	echo "<div class='header'> Hello by me </div>\n";
}

?>